Proceedings 11th International Workshop on Quantitative Aspects of Programming Languages and Systems
نویسندگان
چکیده
منابع مشابه
Fifth Workshop on Quantitative Aspects of Programming Languages
Chemical and biochemical systems are presented as collectives of interacting stochastic automata: each automaton represents a molecule that undergoes state transitions. This framework constitutes an artificial biochemistry, where automata interact by the equivalent of the law of mass action. We analyze several example systems and networks, both by stochastic simulation and by ordinary different...
متن کاملThe 11th International Workshop on Meta-Synthesis and Complex Systems
This talk investigates the meaning, contents and characteristics of systems institution on the basis of Noetic Science, which was founded by Qian Xuesen. The systems intuition is the human capability to find the hidden system imagery of the object or to create an imagery of new system. The basic noetic foundation of system intuition and cultural influence to it are studied. The open problems ar...
متن کاملProceedings of the Workshop on Algorithmic Aspects of Advanced Programming Languages
This paper describes a general framework for designing purely functional datatypes that automatically satisfy given size or structural constraints. Using the framework we develop implementations of different matrix types (eg square matrices) and implementations of several tree types (eg Braun trees, 2-3 trees). Consider, for instance, representing square /102/ matrices. The usual representation...
متن کاملProceedings of the 13th International Workshop on Logic Programming Environments
The Prolog programmer’s needs have always been the focus for guiding the development of the SWI-Prolog system. This article accompanies an invited talk about how the SWI-Prolog environment helps the Prolog programmer solve common problems. It describes the central parts of the graphical development environment as well as the command line tools which we see as vital to the success of the system....
متن کاملProceedings of MASPLAS'04 Mid-Atlantic Student Workshop on Programming Languages and Systems
We present an analyzer tool that accepts as input a string of programming language statements and outputs possible meanings for those program statements. The Graphical User Interface allows us to see which meanings were proposed for different program statements. The analyzer is packaged as a software tool, which we refer to as the Semantic Extraction tool (SET). SET, through a GUI utilizes a mu...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Electronic Proceedings in Theoretical Computer Science
سال: 2013
ISSN: 2075-2180
DOI: 10.4204/eptcs.117.0